Enter a word or phrase in any language 👆
Language:
Translation and analysis of words by artificial intelligence
On this page you can get a detailed analysis of a word or phrase, produced by the best artificial intelligence technology to date:
- how the word is used
- frequency of use
- it is used more often in oral or written speech
- word translation options
- usage examples (several phrases with translation)
- etymology
kara kurt - translation to arabic
WIKIMEDIA DISAMBIGUATION PAGE
KARA; Kara (Smallville); Kara (disambiguation); Kara (band); Kara (Supergirl)
kara kurt
الدَّغْفَل:نَوعٌ مِنَ العَناكِب
curt
MALE GIVEN NAME
Curt
صِفَة : جاف . مقتضَبٌ على نحو فظّ
CURT
MALE GIVEN NAME
Curt
الصفة
جافٍ ; جافّ ; جلْف ; خَشِن ; خَشِين ; غَلِيظ ; فِجّ ; فَظّ
Definition
Goedel
<language> (After the mathematician Kurt Godel) A
declarative, general-purpose language for {artificial
intelligence} based on logic programming. It can be
regarded as a successor to Prolog. The type system is
based on many-sorted logic with parametric polymorphism.
Modularity is supported, as well as {infinite precision
arithmetic} and finite sets.
Goedel has a rich collection of system modules and provides
constraint solving in several domains. It also offers
metalogical facilities that provide significant support for
metaprograms that do analysis, transformation, compilation,
verification, and debugging.
A significant subset of Goedel has been implemented on top of
SISCtus Prolog by Jiwei Wang <jiwei@lapu.bristol.ac.uk>.
FTP Bristol, UK (ftp://ftp.cs.bris.ac.uk/goedel), {FTP K U
Leuven (ftp://ftp.cs.kuleuven.ac.be/pub/logic-prgm/goedel) }.
E-mail: <goedel@compsci.bristol.ac.uk>.
(1995-05-02)
